//SamXIAO
#include <bits/stdc++.h>
using namespace std;
#define PI 3.1415926
#define   SQUARE(x) ((x)*(x))
//double SQUARE(double x) { return x*x;}

int f[102];
double price[]={28.9, 32.7, 45.6, 78, 35, 86.2, 27.8, 43, 56, 65};

void w1()
{
	int a, b, c,  n;
	double ans = 0;
	//scanf("%d", &n);
	n = 10;
	for(int i=0; i<n; i++){
		scanf("%d", f+i);
		ans += f[i] * price[i];
	}

	printf("%.1lf", ans);
}

int main()
{
	w1();
  return 0;
}
